Design by contract - PDFSEARCH.IO - Document Search Engine

Design by contract
Results: 233

#	Item
11	Inference of Necessary Field Conditions with Abstract Interpretation Mehdi Bouaziz 1 , Francesco Logozzo 2 , Manuel F¨ahndrich 2 ´ Ecole Normale Sup´erieure, Paris Add to Reading List Source URL: mehdi.bouaziz.org Language: English - Date: 2014-01-23 20:24:46 Formal methods Logic in computer science Object-oriented programming Postcondition Precondition Class invariant Design by contract Assertion Constructor Class Invariant Loop invariant
12	January 15, 2012, edition SPECIAL CONTRACT REQUIREMENTS, FP-03, U.S. CUSTOMARY UNITS All material under the Divisions of the “Standard Specifications for Construction of Roads and Bridges On Federal Highway Projects, Add to Reading List Source URL: www.pascuayaqui-nsn.gov Language: English - Date: 2016-03-31 18:56:02 Contract law Construction (Design and Management) Regulations Requirement Construction General contractor Contract Design by contract American Association of State Highway and Transportation Officials Subcontractor Government procurement in the United States
13	Oh Lord, Please Don’t Let Contracts be Misunderstood, a Variation on Old Gems Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen PLT, USA {chrdimo,maxsnew,robby,matthias}@racket-lang.org Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2016-07-01 10:16:31 Object-oriented programming languages Combinatory logic Design by contract Enumerated type Contract Objective-C Scope Eiffel Racket
14	Company insight > Contract services & outsourcing Better by design Pure functionality is no longer enough in the medical device industry; consumers expect good design and strong usability. Raimund Erdmann, industrial en Add to Reading List Source URL: www.erdmann.ch Language: English - Date: 2014-03-11 07:22:05 Humancomputer interaction Usability Technical communication Ergonomics Product design Human factors and ergonomics
15	TEAM USA Senior C Calendar Crew Selection Process Phase I: Outreach/Tryouts Sr. C Coaches will conduct ERG and on-water OC testing at various locations around the U.S. Candidates that cannot make a testing site may submi Add to Reading List Source URL: www.usdbf.org Language: English - Date: 2016-08-09 19:31:37 Design by contract Software design DBc Mini-camp
16	II. GENERAL TERMS AND CONDITIONS FORM 2E The following General Terms and Conditions are hereby incorporated into and made a part of this Contract, except as they may be modified by the Special Provisions included, herein Add to Reading List Source URL: www.go-metro.com Language: English - Date: 2015-12-15 14:20:23 Contract law Construction Subcontractor Retainage Government procurement in the United States Construction (Design and Management) Regulations Contractor General contractor Additional insured Southwest Ohio Regional Transit Authority Independent contractor
17	Energy Efficiency Spotlight A shining example of how Hawaii is working to reach its goal of a 30% in UHCC energy Energyconsumption by 2030. Add to Reading List Source URL: energy.hawaii.gov Language: English - Date: 2015-12-17 15:56:03 Energy policy Building engineering Energy conservation in the United States Low-energy building Environmental design Leadership in Energy and Environmental Design Efficient energy use Energy conservation Green building United States Department of Energy Energy Star Energy Savings Performance Contract
18	AGB_Dienstleistung_eng.indd Add to Reading List Source URL: www.bkb.admin.ch Language: English Contract law Contract Assignment Design by contract Costs in English law Guarantee Law of obligations
19	Microsoft PowerPoint - Attendance at Macquaries Construction Conference MayRead-Only] Add to Reading List Source URL: www.g5.co.za Language: English - Date: 2015-10-23 12:48:37 Contract law Contract Construction Transnet Government procurement in the United States Design by contract
20	web news upcoming events calendar highlights / May–November 2015 Add to Reading List Source URL: www.adacore.com Language: English - Date: 2015-09-16 10:26:21 Ada SPARK GNAT Robert Dewar CodePeer A Sharp Act Computer programming Simulink Stateflow Static program analysis Design by contract

UPDATE